Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Förlag	År	Ort	Om boken	ISBN
Springer	2024	Utgivningsland okänt / Ej specificerat